signature RENUMBER_STRUCTS =
sig
  structure Machine : MACHINE
end

signature RENUMBER =
sig
  include RENUMBER_STRUCTS
  
  val renumber : Machine.Program.t -> Machine.Program.t
end
